#include <syscall.h> 
syscall_handler driver_sc_handler;
extern "C" void dri_syscall_initialize(syscall_handler handler){
	//This is called in kernel mode
	driver_sc_handler = handler;	
}

extern "C" void dri_set_kmode_sci(){
	syscall_sethandler(driver_sc_handler);
}

extern "C" void dri_set_user_sci(){
	syscall_sethandler(syscall_default);
}